|
1
|
|
|
/** |
|
2
|
|
|
* @license |
|
3
|
|
|
* Copyright (c) 2020 UMI |
|
4
|
|
|
* |
|
5
|
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy |
|
6
|
|
|
* of this software and associated documentation files (the "Software"), to deal |
|
7
|
|
|
* in the Software without restriction, including without limitation the rights |
|
8
|
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
|
9
|
|
|
* copies of the Software, and to permit persons to whom the Software is |
|
10
|
|
|
* furnished to do so, subject to the following conditions: |
|
11
|
|
|
* |
|
12
|
|
|
* The above copyright notice and this permission notice shall be included in all |
|
13
|
|
|
* copies or substantial portions of the Software. |
|
14
|
|
|
* |
|
15
|
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
|
16
|
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
|
17
|
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
|
18
|
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
|
19
|
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
|
20
|
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE |
|
21
|
|
|
* SOFTWARE. |
|
22
|
|
|
*/ |
|
23
|
|
|
|
|
24
|
|
|
'use strict' |
|
25
|
|
|
|
|
26
|
1 |
|
const array = require('../array.js') |
|
27
|
|
|
|
|
28
|
1 |
|
const gf0 = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] |
|
29
|
1 |
|
const gf1 = [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] |
|
30
|
1 |
|
const D2 = [ |
|
31
|
|
|
0xf159, 0x26b2, 0x9b94, 0xebd6, 0xb156, 0x8283, 0x149a, 0x00e0, |
|
32
|
|
|
0xd130, 0xeef3, 0x80f2, 0x198e, 0xfce7, 0x56df, 0xd9dc, 0x2406 |
|
33
|
|
|
] |
|
34
|
1 |
|
const X = [ |
|
35
|
|
|
0xd51a, 0x8f25, 0x2d60, 0xc956, 0xa7b2, 0x9525, 0xc760, 0x692c, |
|
36
|
|
|
0xdc5c, 0xfdd6, 0xe231, 0xc0a4, 0x53fe, 0xcd6e, 0x36d3, 0x2169 |
|
37
|
|
|
] |
|
38
|
1 |
|
const Y = [ |
|
39
|
|
|
0x6658, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, |
|
40
|
|
|
0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666 |
|
41
|
|
|
] |
|
42
|
1 |
|
const L = [ |
|
43
|
|
|
0xed, 0xd3, 0xf5, 0x5c, 0x1a, 0x63, 0x12, 0x58, 0xd6, 0x9c, 0xf7, 0xa2, |
|
44
|
|
|
0xde, 0xf9, 0xde, 0x14, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0x10 |
|
45
|
|
|
] |
|
46
|
|
|
/** |
|
47
|
|
|
* @param {number[]} r |
|
48
|
|
|
* @private |
|
49
|
|
|
*/ |
|
50
|
|
|
function reduce (r) { |
|
51
|
7 |
|
const x = r.slice(0) |
|
52
|
7 |
|
array.arrayFill(r, 64) |
|
53
|
7 |
|
modL(r, x) |
|
54
|
|
|
} |
|
55
|
|
|
/** |
|
56
|
|
|
* @param {number[]} r |
|
57
|
|
|
* @param {number[]} x |
|
58
|
|
|
* @returns {number[]} |
|
59
|
|
|
* @private |
|
60
|
|
|
*/ |
|
61
|
|
|
function modL (r, x) { |
|
62
|
|
|
let carry |
|
63
|
|
|
let j |
|
64
|
|
|
let k |
|
65
|
9 |
|
for (let i = 63; i >= 32; --i) { |
|
66
|
288 |
|
carry = 0 |
|
67
|
288 |
|
for (j = i - 32, k = i - 12; j < k; ++j) { |
|
68
|
5760 |
|
x[j] += carry - 16 * x[i] * L[j - (i - 32)] |
|
69
|
5760 |
|
carry = Math.floor((x[j] + 128) / 256) |
|
70
|
5760 |
|
x[j] -= carry * 256 |
|
71
|
|
|
} |
|
72
|
288 |
|
x[j] += carry |
|
73
|
288 |
|
x[i] = 0 |
|
74
|
|
|
} |
|
75
|
9 |
|
return modLSub(r, x) |
|
76
|
|
|
} |
|
77
|
|
|
/** |
|
78
|
|
|
* @param {number[]} r |
|
79
|
|
|
* @param {number[]} x |
|
80
|
|
|
* @returns {number[]} |
|
81
|
|
|
* @private |
|
82
|
|
|
*/ |
|
83
|
|
|
function modLSub (r, x) { |
|
84
|
9 |
|
let carry = 0 |
|
85
|
|
|
let i |
|
86
|
9 |
|
for (i = 0; i < 32; i++) { |
|
87
|
288 |
|
x[i] += carry - (x[31] >> 4) * L[i] |
|
88
|
288 |
|
carry = x[i] >> 8 |
|
89
|
288 |
|
x[i] &= 255 |
|
90
|
|
|
} |
|
91
|
9 |
|
for (i = 0; i < 32; i++) { |
|
92
|
288 |
|
x[i] -= carry * L[i] |
|
93
|
|
|
} |
|
94
|
9 |
|
for (i = 0; i < 32; i++) { |
|
95
|
288 |
|
x[i + 1] += x[i] >> 8 |
|
96
|
288 |
|
r[i] = x[i] & 255 |
|
97
|
|
|
} |
|
98
|
9 |
|
return r |
|
99
|
|
|
} |
|
100
|
|
|
/** |
|
101
|
|
|
* @param {number[][]} p |
|
102
|
|
|
* @param {number[][]} q |
|
103
|
|
|
* @param {number[]} s |
|
104
|
|
|
* @private |
|
105
|
|
|
*/ |
|
106
|
|
|
function scalarmult (p, q, s) { |
|
107
|
13 |
|
array.arraySet(p[0], gf0) |
|
108
|
13 |
|
array.arraySet(p[1], gf1) |
|
109
|
13 |
|
array.arraySet(p[2], gf1) |
|
110
|
13 |
|
array.arraySet(p[3], gf0) |
|
111
|
13 |
|
for (let i = 255; i >= 0; --i) { |
|
112
|
3328 |
|
const b = (s[(i / 8) | 0] >> (i & 7)) & 1 |
|
113
|
3328 |
|
cswap(p, q, b) |
|
114
|
3328 |
|
add(q, p) |
|
115
|
3328 |
|
add(p, p) |
|
116
|
3328 |
|
cswap(p, q, b) |
|
117
|
|
|
} |
|
118
|
|
|
} |
|
119
|
|
|
/** |
|
120
|
|
|
* @param {number[][]} p |
|
121
|
|
|
* @param {number[][]} q |
|
122
|
|
|
* @param {number} b |
|
123
|
|
|
* @private |
|
124
|
|
|
*/ |
|
125
|
|
|
function cswap (p, q, b) { |
|
126
|
6656 |
|
for (let i = 0; i < 4; i++) { |
|
127
|
26624 |
|
sel25519(p[i], q[i], b) |
|
128
|
|
|
} |
|
129
|
|
|
} |
|
130
|
|
|
/** |
|
131
|
|
|
* @param {number[][]} p |
|
132
|
|
|
* @param {number[][]} q |
|
133
|
|
|
* @private |
|
134
|
|
|
*/ |
|
135
|
|
|
function add (p, q) { |
|
136
|
6659 |
|
const a = [] |
|
137
|
6659 |
|
const b = [] |
|
138
|
6659 |
|
const c = [] |
|
139
|
6659 |
|
const d = [] |
|
140
|
6659 |
|
const e = [] |
|
141
|
6659 |
|
const f = [] |
|
142
|
6659 |
|
const g = [] |
|
143
|
6659 |
|
const h = [] |
|
144
|
6659 |
|
const t = [] |
|
145
|
6659 |
|
fnZ(a, p[1], p[0]) |
|
146
|
6659 |
|
fnZ(t, q[1], q[0]) |
|
147
|
6659 |
|
fnM(a, a, t) |
|
148
|
6659 |
|
fnA(b, p[0], p[1]) |
|
149
|
6659 |
|
fnA(t, q[0], q[1]) |
|
150
|
6659 |
|
fnM(b, b, t) |
|
151
|
6659 |
|
fnM(c, p[3], q[3]) |
|
152
|
6659 |
|
fnM(c, c, D2) |
|
153
|
6659 |
|
fnM(d, p[2], q[2]) |
|
154
|
6659 |
|
fnA(d, d, d) |
|
155
|
6659 |
|
fnZ(e, b, a) |
|
156
|
6659 |
|
fnZ(f, d, c) |
|
157
|
6659 |
|
fnA(g, d, c) |
|
158
|
6659 |
|
fnA(h, b, a) |
|
159
|
6659 |
|
fnM(p[0], e, f) |
|
160
|
6659 |
|
fnM(p[1], h, g) |
|
161
|
6659 |
|
fnM(p[2], g, f) |
|
162
|
6659 |
|
fnM(p[3], e, h) |
|
163
|
|
|
} |
|
164
|
|
|
/** |
|
165
|
|
|
* @param {number[]} o |
|
166
|
|
|
* @param {number[]} a |
|
167
|
|
|
* @param {number[]} b |
|
168
|
|
|
* @private |
|
169
|
|
|
*/ |
|
170
|
|
|
function fnA (o, a, b) { |
|
171
|
33298 |
|
for (let i = 0; i < 16; i++) { |
|
172
|
532768 |
|
o[i] = a[i] + b[i] |
|
173
|
|
|
} |
|
174
|
|
|
} |
|
175
|
|
|
/** |
|
176
|
|
|
* @param {number[]} o |
|
177
|
|
|
* @param {number[]} a |
|
178
|
|
|
* @param {number[]} b |
|
179
|
|
|
* @private |
|
180
|
|
|
*/ |
|
181
|
|
|
function fnM (o, a, b) { |
|
182
|
66573 |
|
const t = array.arrayNew(31) |
|
183
|
|
|
let i |
|
184
|
66573 |
|
for (i = 0; i < 16; i++) { |
|
185
|
1065168 |
|
for (let j = 0; j < 16; j++) { |
|
186
|
17042688 |
|
t[i + j] += a[i] * b[j] |
|
187
|
|
|
} |
|
188
|
|
|
} |
|
189
|
66573 |
|
for (i = 0; i < 15; i++) { |
|
190
|
998595 |
|
t[i] += 38 * t[i + 16] |
|
191
|
|
|
} |
|
192
|
66573 |
|
array.arraySet(o, t, 0, 16) |
|
193
|
66573 |
|
car25519(o) |
|
194
|
66573 |
|
car25519(o) |
|
195
|
|
|
} |
|
196
|
|
|
/** |
|
197
|
|
|
* @param {number[]} o |
|
198
|
|
|
* @param {number[]} a |
|
199
|
|
|
* @param {number[]} b |
|
200
|
|
|
* @private |
|
201
|
|
|
*/ |
|
202
|
|
|
function fnZ (o, a, b) { |
|
203
|
26640 |
|
for (let i = 0; i < 16; i++) { |
|
204
|
426240 |
|
o[i] = a[i] - b[i] |
|
205
|
|
|
} |
|
206
|
|
|
} |
|
207
|
|
|
/** |
|
208
|
|
|
* @param {number[][]} p |
|
209
|
|
|
* @param {number[]} s |
|
210
|
|
|
* @private |
|
211
|
|
|
*/ |
|
212
|
|
|
function scalarbase (p, s) { |
|
213
|
10 |
|
const q = [[], [], [], []] |
|
214
|
10 |
|
array.arraySet(q[0], X) |
|
215
|
10 |
|
array.arraySet(q[1], Y) |
|
216
|
10 |
|
array.arraySet(q[2], gf1) |
|
217
|
10 |
|
fnM(q[3], X, Y) |
|
218
|
10 |
|
scalarmult(p, q, s) |
|
219
|
|
|
} |
|
220
|
|
|
/** |
|
221
|
|
|
* @param {number[]} o |
|
222
|
|
|
* @private |
|
223
|
|
|
*/ |
|
224
|
|
|
function car25519 (o) { |
|
225
|
|
|
let c |
|
226
|
133251 |
|
for (let i = 0; i < 16; i++) { |
|
227
|
2132016 |
|
o[i] += 65536 |
|
228
|
2132016 |
|
c = (o[i] - (o[i] & 0xffff)) / 65536 |
|
229
|
2132016 |
|
o[(i + 1) * (i < 15 ? 1 : 0)] += c - 1 + 37 * (c - 1) * (i === 15 ? 1 : 0) |
|
230
|
2132016 |
|
o[i] -= c * 65536 |
|
231
|
|
|
} |
|
232
|
|
|
} |
|
233
|
|
|
/** |
|
234
|
|
|
* @param {number[]} r |
|
235
|
|
|
* @param {number[][]} p |
|
236
|
|
|
* @private |
|
237
|
|
|
*/ |
|
238
|
|
|
function pack (r, p) { |
|
239
|
10 |
|
const tx = [] |
|
240
|
10 |
|
const ty = [] |
|
241
|
10 |
|
const zi = [] |
|
242
|
10 |
|
inv25519(zi, p[2]) |
|
243
|
10 |
|
fnM(tx, p[0], zi) |
|
244
|
10 |
|
fnM(ty, p[1], zi) |
|
245
|
10 |
|
pack25519(r, ty) |
|
246
|
10 |
|
r[31] ^= par25519(tx) << 7 |
|
247
|
|
|
} |
|
248
|
|
|
/** |
|
249
|
|
|
* @param {number[]} a |
|
250
|
|
|
* @returns {number} |
|
251
|
|
|
* @private |
|
252
|
|
|
*/ |
|
253
|
|
|
function par25519 (a) { |
|
254
|
13 |
|
const d = [] |
|
255
|
13 |
|
pack25519(d, a) |
|
256
|
13 |
|
return d[0] & 1 |
|
257
|
|
|
} |
|
258
|
|
|
/** |
|
259
|
|
|
* @param {number[]} o |
|
260
|
|
|
* @param {number[]} i |
|
261
|
|
|
* @private |
|
262
|
|
|
*/ |
|
263
|
|
|
function inv25519 (o, i) { |
|
264
|
10 |
|
const c = [] |
|
265
|
10 |
|
array.arraySet(c, i) |
|
266
|
10 |
|
for (let a = 253; a >= 0; a--) { |
|
267
|
2540 |
|
fnM(c, c, c) |
|
268
|
2540 |
|
if (a !== 2 && a !== 4) { |
|
269
|
2520 |
|
fnM(c, c, i) |
|
270
|
|
|
} |
|
271
|
|
|
} |
|
272
|
10 |
|
array.arraySet(o, c) |
|
273
|
|
|
} |
|
274
|
|
|
/** |
|
275
|
|
|
* @param {number[]} p |
|
276
|
|
|
* @param {number[]} q |
|
277
|
|
|
* @param {number} b |
|
278
|
|
|
* @private |
|
279
|
|
|
*/ |
|
280
|
|
|
function sel25519 (p, q, b) { |
|
281
|
26694 |
|
const c = ~(b - 1) |
|
282
|
26694 |
|
for (let i = 0; i < 16; i++) { |
|
283
|
427104 |
|
const t = c & (p[i] ^ q[i]) |
|
284
|
427104 |
|
p[i] ^= t |
|
285
|
427104 |
|
q[i] ^= t |
|
286
|
|
|
} |
|
287
|
|
|
} |
|
288
|
|
|
/** |
|
289
|
|
|
* @param {number[]} o |
|
290
|
|
|
* @param {number[]} n |
|
291
|
|
|
* @private |
|
292
|
|
|
*/ |
|
293
|
|
|
function pack25519 (o, n) { |
|
294
|
35 |
|
const m = [] |
|
295
|
35 |
|
const t = n.slice(0) |
|
296
|
35 |
|
car25519(t) |
|
297
|
35 |
|
car25519(t) |
|
298
|
35 |
|
car25519(t) |
|
299
|
|
|
let i |
|
300
|
35 |
|
for (let j = 0; j < 2; j++) { |
|
301
|
70 |
|
m[0] = t[0] - 0xffed |
|
302
|
70 |
|
for (i = 1; i < 15; i++) { |
|
303
|
980 |
|
m[i] = t[i] - 0xffff - ((m[i - 1] >> 16) & 1) |
|
304
|
980 |
|
m[i - 1] &= 0xffff |
|
305
|
|
|
} |
|
306
|
70 |
|
m[15] = t[15] - 0x7fff - ((m[14] >> 16) & 1) |
|
307
|
70 |
|
const b = (m[15] >> 16) & 1 |
|
308
|
70 |
|
m[14] &= 0xffff |
|
309
|
70 |
|
sel25519(t, m, 1 - b) |
|
310
|
|
|
} |
|
311
|
35 |
|
for (i = 0; i < 16; i++) { |
|
312
|
560 |
|
o[2 * i] = t[i] & 0xff |
|
313
|
560 |
|
o[2 * i + 1] = t[i] >> 8 |
|
314
|
|
|
} |
|
315
|
|
|
} |
|
316
|
|
|
|
|
317
|
1 |
|
exports.add = add |
|
318
|
1 |
|
exports.car25519 = car25519 |
|
319
|
1 |
|
exports.fnA = fnA |
|
320
|
1 |
|
exports.fnM = fnM |
|
321
|
1 |
|
exports.fnZ = fnZ |
|
322
|
1 |
|
exports.gf0 = gf0 |
|
323
|
1 |
|
exports.gf1 = gf1 |
|
324
|
1 |
|
exports.modL = modL |
|
325
|
1 |
|
exports.pack = pack |
|
326
|
1 |
|
exports.pack25519 = pack25519 |
|
327
|
1 |
|
exports.par25519 = par25519 |
|
328
|
1 |
|
exports.reduce = reduce |
|
329
|
1 |
|
exports.scalarbase = scalarbase |
|
330
|
|
|
exports.scalarmult = scalarmult |
|
331
|
|
|
|